discrete math direct proof examples